منابع مشابه
Functional Dependencies and Constraints on Null Values in Database Relations
Database relations with incomplete information are considered. The no-information interpretation of null values is adopted, due to its characteristics of generality and naturalness. Coherently with the framework and its motivation, two meaningful classes of integrity constraints are studied: (a) functional dependencies, which have been widely investigated in the classical relational theory and ...
متن کاملDatabase Constraints and Homomorphism Dualities
Global-as-view (GAV) constraints form a class of database constraints that has been widely used in the study of data exchange and data integration. Specifically, relationships between different database schemas are commonly described by a schema mapping consisting of a finite set of GAV constraints. Such schema mappings can be viewed as representations of an infinite set of data examples. We st...
متن کاملA functional database
A Functional Database Phil Trinder D.Phil. Thesis Wolfson College Michaelmas Term, 1989 This thesis explores the use of functional languages to implement, manipulate and query databases. Implementing databases. A functional language is used to construct a database manager that allows e cient and concurrent access to shared data. In contrast to the locking mechanism found in conventional databas...
متن کاملDatabase queries and constraints via lifting problems
Previous work has demonstrated that categories are useful and expressive models for databases. In the present paper we build on that model, showing that certain queries and constraints correspond to lifting problems, as found in modern approaches to algebraic topology. In our formulation, each so-called SPARQL graph pattern query corresponds to a category-theoretic lifting problem, whereby the ...
متن کاملDescribing Integrity Constraints in Advanced Database Systems
In advanced database applications, specifying integrity constraints in a declarative way allows to maintain the database consistency so that the database satis es the integrity constraints. By associating each data with its status, in this paper, we show the consistency information of advanced database applications can be expressed declaratively by a set of clauses, which are classi ed into fou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1988
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/31.4.336